1. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
2. Applications of Hyperstructure Theory
پدیدآورنده: by Piergiulio Corsini, Violeta Leoreanu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Combinatorics.,Computational complexity.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
3. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning
پدیدآورنده: I.R. Goodman, H.T. Nguyen and E.A. Walker
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع: Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95G67
1991
4. Fundamentals of Fuzzy Sets
پدیدآورنده: edited by Didier Dubois, Henri Prade.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
5. Logical Structures for Representation of Knowledge and Uncertainty
پدیدآورنده: by Ellen Hisdal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Operations research.
6. Representing and reasoning with probabilistic knowledge : a logical approach to probabilities
پدیدآورنده: Bacchus, Fahiem
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Probabilities,، Logic, Symbolic and mathematical,، Artificial intelligence
رده :
QA
273
.
B24
1990
